Finite Energy Solutions of Mixed 3d Div-curl Systems
نویسنده
چکیده
This paper describes the existence and representation of certain finite energy (L-) solutions of weighted div-curl systems on bounded 3d regions with C-boundaries and mixed boundary data. Necessary compatibility conditions on the data for the existence of solutions are described. Subject to natural integrability assumptions on the data, it is then shown that there exist L-solutions whenever these compatibility conditions hold. The existence results are proved by using a weighted orthogonal decomposition theorem for L-vector fields in terms of scalar and vector potentials. This representation theorem generalizes the classical Hodge-Weyl decomposition. With this special choice of the potentials, the mixed div-curl problem decouples into separate problems for the scalar and vector potentials. Variational principles for the solutions of these problems are described. Existence theorems, and some estimates, for the solutions of these variational principles are obtained. The unique solution of the mixed system that is orthogonal to the null space of the problem is found and the space of all solutions is described. The second part of the paper treats issues concerning the non-uniqueness of solutions of this problem. Under additional assumptions, this space is shown to be finite dimensional and a lower bound on the dimension is described. Criteria that prescribe the harmonic component of the solution are investigated. Extra conditions that determine a well-posed problem for this system on a simply connected region are given. A number of conjectures regarding the results for bounded regions with handles are stated.
منابع مشابه
On Least-Squares Finite Element Methods for the Poisson Equation and Their Connection to the Dirichlet and Kelvin Principles
Least-squares finite element methods for first-order formulations of the Poisson equation are not subject to the inf-sup condition and lead to stable solutions even when all variables are approximated by equal-order, continuous finite element spaces. For such elements, one can also prove optimal convergence in the “energy” norm (equivalent to a norm on H1(Ω) ×H(Ω, div )) for all variables and o...
متن کاملThe mimetic finite difference method for the 3D magnetostatic field problems on polyhedral meshes
We extend the mimetic finite difference (MFD) method to the numerical treatment of magnetostatic fields problems in mixed div–curl form for the divergence-free magnetic vector potential. To accomplish this task, we introduce three sets of degrees of freedom that are attached to the vertices, the edges, and the faces of the mesh, and two discrete operators mimicking the curl and the gradient ope...
متن کاملL-WELL-POSEDNESS OF 3D div-curl BOUNDARY VALUE PROBLEMS
Criteria for the existence and uniqueness of weak solutions of div-curl boundary-value problems on bounded regions in space with C-boundaries are developed. The boundary conditions are either given normal component of the field or else given tangential components of the field. Under natural integrability assumptions on the data, finite-energy (L) solutions exist if and only if certain compatibi...
متن کاملThe Eigenvalues and Eigenspaces of Some Discrete Div- and Curl-Related Operators
The eigenvalues and eigenspaces of some discrete divand curl-related operators are investigated. The discrete operators give some good discrete analogues of the continuous counterparts and play an important role in developing finite volume schemes for solving div-curl equations and electromagnetic systems. Knowledge of the eigenvalues and eigenspaces is very useful in the numerical analysis of ...
متن کاملNon-linear elliptic systems with measure-valued right hand side
We prove existence of a solution u for the nonlinear elliptic system -div a(x,u,Du) =/ i in V(Q,), u = 0 on dfl where \x is Radon measure on Q with finite mass. In particular we show that if the coercivity rate of a lies in the range (1,2 — ^] then u is approximately differentiable and the equation holds with Du replaced by ap Du. The proof relies on an approximation of // by smooth functions f...
متن کامل